We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic $DJ^{d}$ . The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness results are proved for $DJ^{d}$ with respect (...) to a content semantics, which embraces the concept of meaning containment. (shrink)

We first consider the entailment logic MC, based on meaning containment, which contains neither the Law of Excluded Middle (LEM) nor the Disjunctive Syllogism (DS). We then argue that the DS may be assumed at least on a similar basis as the assumption of the LEM, which is then justified over a finite domain or for a recursive property over an infinite domain. In the latter case, use is made of Mathematical Induction. We then show that an instance of the (...) LEM is intrumental in the proof of Cantor's Theorem, and we then argue that this is based on a more general form than can be reasonably justified. We briefly consider the impact of our approach on arithmetic and naive set theory, and compare it with intuitionist mathematics and briefly with recursive mathematics. Our "Four Basic Logical Issues" paper would provide useful background, the current paper being an application of the some of the ideas in it. (shrink)

One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...) a general conception of conditionality that may unify the three given conceptions. (shrink)

The main aim is to extend the range of logics which solve the set-theoretic paradoxes, over and above what was achieved by earlier work in the area. In doing this, the paper also provides a link between metacomplete logics and those that solve the paradoxes, by finally establishing that all M1-metacomplete logics can be used as a basis for naive set theory. In doing so, we manage to reach logics that are very close in their axiomatization to that of the (...) logic R of relevant implication. A further aim is the use of metavaluations in a new context, expanding the range of application of this novel technique, already used in the context of negation and arithmetic, thus providing an alternative to traditional model theoretic approaches. (shrink)

We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic $DJ^{d}$ . The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness results are proved for $DJ^{d}$ with respect (...) to a content semantics, which embraces the concept of meaning containment. (shrink)

A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — (...) free relevant logics (and, precisely, the well-behaved subsystems of the 4-valued logicBN4) — for which γ fails. (shrink)

This paper surveys the various forms of Deduction Theorem for a broad range of relevant logics. The logics range from the basic system B of Routley-Meyer through to the system R of relevant implication, and the forms of Deduction Theorem are characterized by the various formula representations of rules that are either unrestricted or restricted in certain ways. The formula representations cover the iterated form,A 1 .A 2 . ... .A n B, the conjunctive form,A 1&A 2 & ...A n (...) B, the combined conjunctive and iterated form, enthymematic version of these three forms, and the classical implicational form,A 1&A 2& ...A n B. The concept of general enthymeme is introduced and the Deduction Theorem is shown to apply for rules essentially derived using Modus Ponens and Adjunction only, with logics containing either (A B)&(B C) .A C orA B .B C .A C. (shrink)

Supererogation has gained attention as a means of explaining the voluntary behaviours of individuals and organizations that are done for the benefit of others and which go above what is required of legislation and what may be expected by society. Whilst the emerging literature has made some significant headway in exploring supererogation as an ethical lens for the study of business there remain several important issues that require attention. These comprise, the lack of primary evidence upon which such examinations have (...) been made, attention has been given to only singular pro-social acts of organizations, and the focus has been upon the actions of large organizations. Furthermore, Heyd’s (Supererogation, Cambridge University Press, 1982) original taxonomy of six supererogatory acts, comprising Moral Heroism, Beneficence, Volunteering, Favour, Forgiveness and Forbearance, has been considered to be complete and other forms of supererogatory acts have not yet been explored. In order to address these gaps this study poses the research questions: First, it studies how a single, contemporary SME performs multiple supererogatory acts in its attempts to address its social and environmental goals that go beyond CSR. Second, it seeks to gain a deeper theoretical understanding of Heyd’s (Supererogation, Cambridge University Press, 1982) taxonomy of six forms of supererogation through the capture of primary data. This research makes a three-year case study examination of a single SME that has been formally recognized for its work in addressing social and environmental issues at local, national and global levels. Primary data are acquired of the supererogatory acts that it performs through a three-year participant observation case study, utilizing 61 interviews and 3 focus groups with internal and external stakeholders. In doing so, it addresses the empirical limitations of the extant research, substantiates each of the forms that supererogatory acts may take, and makes a contribution to the theory of supererogation by identifying a further class of act that is ‘Sharing’. (shrink)

The standard Hilbert-style of axiomatic system yields the assertion of axioms and, via the use of rules, the assertion of theorems. However, there has been little work done on the corresponding axiomatic rejection of non-theorems. Such Hilbert-style rejection would be achieved by the inclusion of certain rejection-axioms (r-axioms) and, by use of rejection-rules (r-rules), the establishment of rejection-theorems (r-theorems). We will call such a proof a rejection-proof (r-proof). The ideal to aim for would be for the theorems and r-theorems to (...) bemutually exclusive and exhaustive. That is, if a formula A is a theorem then it is not an r-theorem, and if A is a non-theorem then it is an r-theorem. In this paper, I present a rejecion system for the first-degree formulae of a large number of relevant logics. (shrink)

Professors A. D. Ritchie and F. H. George both miss the question: What is the use of saying that machines think? Does the extension in the use of the word “think” to cover the complicated activity of modern machines enable us to explain better the nature of such activity? Extensions in usage are common and necessary in science.

BackgroundThe increased risk of developing attention-deficit hyperactivity disorder (ADHD) in extremely preterm infants is well-documented. Better understanding of perinatal risk factors, particularly those that are modifiable, can inform prevention efforts.MethodsWe examined data from the Extremely Low Gestational Age Newborns (ELGAN) Study. Participants were screened for ADHD at age 10 with the Child Symptom Inventory-4 (N = 734) and assessed at age 15 with a structured diagnostic interview (MINI-KID) to evaluate for the diagnosis of ADHD (N = 575). We studied associations (...) of pre-pregnancy maternal body mass index (BMI), pregestational and/or gestational diabetes, maternal smoking during pregnancy (MSDP), and hypertensive disorders of pregnancy (HDP) with 10-year and 15-year ADHD outcomes. Relative risks were calculated using Poisson regression models with robust error variance, adjusted for maternal age, maternal educational status, use of food stamps, public insurance status, marital status at birth, and family history of ADHD. We defined ADHD as a positive screen on the CSI-4 at age 10 and/or meeting DSM-5 criteria at age 15 on the MINI-KID. We evaluated the robustness of the associations to broadening or restricting the definition of ADHD. We limited the analysis to individuals with IQ ≥ 70 to decrease confounding by cognitive functioning. We evaluated interactions between maternal BMI and diabetes status. We assessed for mediation of risk increase by alterations in inflammatory or neurotrophic protein levels in the first week of life.ResultsElevated maternal BMI and maternal diabetes were each associated with a 55–65% increase in risk of ADHD, with evidence of both additive and multiplicative interactions between the two exposures. MSDP and HDP were not associated with the risk of ADHD outcomes. There was some evidence for association of ADHD outcomes with high levels of inflammatory proteins or moderate levels of neurotrophic proteins, but there was no evidence that these mediated the risk associated with maternal BMI or diabetes.ConclusionContrary to previous population-based studies, MSDP and HDP did not predict ADHD outcomes in this extremely preterm cohort, but elevated maternal pre-pregnancy BMI, maternal diabetes, and perinatal inflammatory markers were associated with increased risk of ADHD at age 10 and/or 15, with positive interaction between pre-pregnancy BMI and maternal diabetes. (shrink)

This rich and varied collection of essays addresses some of the most fundamental human questions through the lenses of philosophy, literature, religion, politics, and theology. Peter Augustine Lawler and Dale McConkey have fashioned an interdisciplinary consideration of such perennial and enduring issues as the relationship between nature and history, nature and grace, reason and revelation, classical philosophy and Christianity, modernity and postmodernity, repentance and self-limitation, and philosophy and politics.

There is an intuitive difference in how we think about pluralism and attitudinal diversity in epistemological contexts versus political contexts. In an epistemological context, it seems problematically arbitrary to hold a particular belief on some issue, while also thinking it perfectly reasonable to hold a totally different belief on the same issue given the same evidence. By contrast, though, it doesn’t seem problematically arbitrary to have a particular set of political commitments, while at the same time thinking it perfectly reasonable (...) for someone in a similar position have a totally different set of political commitments. This chapter examines three explanatory theses that might be used to make sense of this difference: (1) that practical commitments are desire dependent in a way that beliefs are not; (2) that there are reasons to be resolute in practical commitments, but not in beliefs; and (3) that compromise in the face of practical political disagreement doesn’t mitigate controversy, whereas compromise in the face of disagreement about mere beliefs does mitigate controversy. (shrink)

Mohanty, J.N. Understanding Husserl's transcendental phenomenology.--Fink, E. The problem of the phenomenology of Edmund Husserl. Operative concepts in Husserl's phenomenology.--Funke, G. A transcendental-phenomenological investigation concerning universal idealism, intentional analysis, and the genesis of habitus: archē, phansis, hexis, logos.--Pentzopoulou-Valalas, T. Reflections on the foundation of the relation between the a priori and the eidos in the phenomenology of Husserl.--Landgrebe, L. Regions of being and regional ontologies in Husserl's phenomenology. The problem posed by the transcendental science of the a priori of the (...) life world.--Wahl, J. Notes on the first part of Experience and judgment by Husserl.--Landgrebe, L. A letter from Ludwig Landgrebe to Jean Wahl.-- Wahl, J. A note on some empiricist aspects of the thought of Husserl.--Toulemont, R. The specific character of the social according to Husserl. (shrink)

Preface 9 PART I: RELIGIOUS, SCIENTIFIC, AND PHILOSOPHICAL BACKGROUND Introduction to Part I 19 1. The Bible 27 2. Natural Theology 33 William Paley 3. On the Origin of Species 38 Charles Darwin 4. Objections to Mr. Darwin’s Theory of the Origin of Species 65 Adam Sedgwick 5. The Origin of Species 73 Thomas H. Huxley 6. What Is Darwinism? 82 Charles Hodge 7. Darwinism as a Metaphysical Research Program 105 Karl Popper 8. Karl Popper’s Philosophy of Biology 116 Michael (...) Ruse 9. Human Nature: One Evolutionist’s View 136 Francisco Ayala 10. Universal Darwinism 158 Richard Dawkins PART II: CREATION SCIENCE AND THE McLEAN CASE Introduction to Part II 187 11. The Creationists 192 Ronald L. Numbers 12. Creation, Evolution, and the Historical Evidence 231 Duane T. Gish 13. Witness Testimony Sheet: McLean v. Arkansas Board of Education 253 Michael Ruse 14. United States District Court Opinion: McLean v. Arkansas Board of Education 279 Judge William R. Overton 15. The Demise of the Demarcation Problem 312 Larry Laudan 16. Science at the BarùCauses for Concern 331 Larry Laudan 17. Pro Judice 337 Michael Ruse 18. More on Creationism 345 Larry Laudan 19. Commentary: Philosophers at the BarùSome Reasons for Restraint 350 Barry R. Gross PART III: INTELLIGENT DESIGN CREATIONISM AND THE KITZMILLER CASE Introduction to Part III 369 20. But Isn’t It Creationism? The Beginnings of "Intelligent Design" in the Midst of the Arkansas and Louisiana Litigation 377 Nick Matzke 21. What Is Darwinism? 414 Phillip E. Johnson 22. Is It Science Yet? Intelligent Design, Creationism, and the Constitution 426 Matthew Brauer, Barbara Forrest, and Steven G. Gey 23. Kitzmiller v. Dover Area School District Expert Witness Testimony 434 Michael Behe 24. Kitzmiller v. Dover Area School District Expert Report 456 Robert T. Pennock 25. A Step toward the Legalization of Science Studies 485 Steve Fuller 26. What Is Wrong with Intelligent Design? 495 Elliott Sober 27. United States District Court Memorandum Opinion: Kitzmiller, et al. v. Dover Area School District, et al. 506 Judge John E. Jones II 28. Can’t Philosophers Tell the Difference between Science and Religion? Demarcation Revisited 536 Robert T. Pennock. (shrink)

As interest in working memory is increasing at a rapid pace, an open discussion of the central issues involved is both useful and timely. This new volume compares and contrasts conceptions of working memory, with contributions from proponents of different views.

A Turing degree d is homogeneous bounding if every complete decidable (CD) theory has a d-decidable homogeneous model A, i.e., the elementary diagram De (A) has degree d. It follows from results of Macintyre and Marker that every PA degree (i.e., every degree of a complete extension of Peano Arithmetic) is homogeneous bounding. We prove that in fact a degree is homogeneous bounding if and only if it is a PA degree. We do this by showing that there is a (...) single CD theory T such that every homogeneous model of T has a PA degree. (shrink)

Recent studies in social endocrinology have explored the effects of social relationships on female reproductive steroid hormones—estradiol and progesterone—investigating whether they are suppressed in partnered and parous women. Results have been mixed for these hormones although evidence is more consistent that partnered women and women with young children have lower levels of testosterone. These studies were sequential to earlier research on men, based on Wingfield’s Challenge Hypothesis, which showed that men in committed relationships, or with young children, have lower levels (...) of testosterone than unpartnered men or men with older or no children. The study described here explored associations between estradiol and progesterone with partnership and parity among women from two different ethnicities: South Asian and white British. We hypothesized that both steroid hormones would be lower among partnered and/or parous women with children ≤3 years old, regardless of ethnicity. In this study we analyzed data from 320 Bangladeshi and British women of European origin aged 18 to 50 who participated in two previous studies of reproductive ecology and health. Levels of estradiol and progesterone were assayed using saliva and/or serum samples and the body mass index calculated from anthropometric data. Questionnaires provided other covariates. Multiple linear regressions were used to analyze the data. The hypotheses were not supported. We argue here that, unlike links between testosterone and male social relationships, theoretical foundations for such relationships with female reproductive steroid hormones are lacking, especially given the primary role of these steroids in regulating female reproductive function. Further longitudinal studies are needed to explore the bases of independent relationships between social factors and female reproductive steroid hormones. (shrink)